Slices of co-operations forKGL
نویسندگان
چکیده
منابع مشابه
Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops
This paper presents a new approach for extracting synchronizationfree parallelism being represented by dependent statement instances of an arbitrarily nested loop. Presented algorithms can be applied to both uniform and non-uniform loops. The main advantage is that more synchronization-free parallelism may be extracted than that yielded by existing techniques. Our approach, based on operations ...
متن کاملProperties of co-operations: diagrammatic proofs
Traditionally, terms together with Sweedler notation are used to express computations in (generalized) bialgebras. Here, an algebra is a vector space equipped with an operation μ : ⊗→ and a bialgebra is an algebra equipped with a co-operation δ : → ⊗ . The operation μ must be (bi)linear and satisfy some properties, for instance associativity and/or commutativity. Similarly, the co-op...
متن کاملObservational Coalgebras and Complete Sets of Co-operations
In this paper we introduce the notion of an observational coalgebra structure and of a complete set of co-operations. We demonstrate in various example the usefulness of these notions, in particular, we show how they give rise to coalgebraic proof and definition principles.
متن کاملDistributed Co-Simulation of Maritime Systems and Operations
Here, we present the concept of an open virtual prototyping framework for maritime systems and operations that enables its users to develop re-usable component or subsystem models, and combine them in full-system simulations for prototyping, verification, training, and performance studies. This framework consists of a set of guidelines for model coupling, high-level and low-level coupling inter...
متن کاملFormal Models of the Network Co-occurrence Underlying Mental Operations
Systems neuroscience has identified a set of canonical large-scale networks in humans. These have predominantly been characterized by resting-state analyses of the task-unconstrained, mind-wandering brain. Their explicit relationship to defined task performance is largely unknown and remains challenging. The present work contributes a multivariate statistical learning approach that can extract ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the London Mathematical Society
سال: 2014
ISSN: 0024-6093
DOI: 10.1112/blms/bdu015